Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
801	List of Publications and Talks ´ Kova ´ cs Laura Ildiko 1 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-02-19 17:05:13 Mathematics Formal methods Anglo-Chinese School Automated reasoning Algorithmic Number Theory Symposium Model checking Actor model Automated theorem proving Theoretical computer science Applied mathematics
802	Formal Derivation of State-Rich Reactive Programs using Circus Marcel Vin´ıcius Medeiros Oliveira Submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2014-11-17 14:56:11 Computer science Logic in computer science Formal methods Programming language semantics Denotational semantics JCSP Circus Refinement calculus Unifying Theories of Programming Theoretical computer science Computing Concurrent computing
803	Agile product management using Effect Maps Gojko Adzic http://gojko.net Add to Reading List Source URL: gojko.net Language: English - Date: 2011-02-16 05:21:37 Software requirements Formal methods Agile software development Project management Requirement Software development process Timeboxing Dynamic systems development method Software development Software Software project management
804	White Paper Understanding DO-254 Compliance for the Verification of Airborne Digital Hardware October 2009 Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-05-07 08:15:40 Integrated circuits Formal methods DO-254 Functional verification Logic simulation Electronic design automation Integrated circuit design Formal equivalence checking Synopsys Electronic engineering Electronics Electronic design
805	® QTS Migration Services A DVA NTAGE S Add to Reading List Source URL: www.qtsdatacenters.com Language: English - Date: 2013-08-15 11:44:03 Systems engineering Software project management Project management Science Education in the United Kingdom Qualified Teacher Status Systems engineering process Software development process IBM Rational Unified Process Formal methods Information technology management Management
806	Verification of Faust Signal Processing Programs in C OQ Emilio Jes´us Gallego Arias Olivier Hermant Pierre Jouvelot Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-22 05:49:10 Formal methods FAUST Logic in computer science Mathematics Formal verification Correctness Domain-specific language Digital signal processing Theoretical computer science Applied mathematics Electronic engineering
807	D1.2_First_Periodic_Report_definitive Add to Reading List Source URL: simbad-fp7.eu Language: English - Date: 2009-10-26 06:52:05 Learning Statistical classification Formal sciences Supervised learning Kernel methods Fisher kernel Pattern recognition Similarity Statistics Machine learning Artificial intelligence
808	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:47:43 Theoretical computer science Formal methods Semantics Abstract interpretation Formal languages Model theory Prolog Semantics of programming languages Programming language Software engineering Computing Logic in computer science
809	Multi-core Parallelization of Abstracted Abstract Machines ∗ Leif Andersen Matthew Might University of Utah Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:09 Formal languages Models of computation Computability theory Formal methods Lambda calculus Actor model Algorithm Regular language Semantics Theoretical computer science Mathematics Applied mathematics
810	Vinter: A Vampire-Based Tool for Interpolation ? Kryˇstof Hoder1 , Andreas Holzer2 , Laura Kov´acs2 , and Andrei Voronkov1 1 University of Manchester 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-09-19 03:03:42 Formal methods Logical syntax Logic in computer science Mathematical logic Automated theorem proving Interpolation Satisfiability Modulo Theories Vampire Theorem Logic Theoretical computer science Mathematics

UPDATE